ISSE 2012, Brüssel, 23./24.10.2012

ISSE 2002 - Extended Abstract - Long-term conservation of ..

Electronically signed documents can lose value of evidence because the security of cryptographic algorithms decreases in the course of time. In this paper we describe legal, technical and user-oriented requirements for long-term conservation of provability of electronically signed documents, which were systematically examined in the project “ArchiSig Conclusive and secure long term archiving of...

A graduate course in object-oriented analysis based on student-generated projects ISSE-TR-94-102

This paper describes the experience from several o erings of a Software Requirements course based on the Object Modeling Technique by Rumbaugh & al. The paper describes the organization of the course, which includes a semester project carried out by groups of 3-4 students. Descriptions of 20 such projects are given, most of which were based on ideas from the student teams.

EMNLP - CoNLL 2012 2012 Joint Conference on

UTMS 2012 – 16 November 14 , 2012

We establish an isoperimetric inequality with constraint by ndimensional lattices. We prove that, among all domains which consist of rectangular parallelepipeds with the common side-lengths, a cube is the best shape to minimize the ratio involving its perimeter and volume as long as the cube is realizable by the lattice. For its proof a solvability of finite difference PoissonNeumann problems i...

NAACL - HLT 2012 SIGMORPHON 2012 Twelfth

Most tools and resources developed for natural language processing of Arabic are designed for Modern Standard Arabic (MSA) and perform terribly on Arabic dialects, such as Egyptian Arabic. Egyptian Arabic differs from MSA phonologically, morphologically and lexically and has no standardized orthography. We present a linguistically accurate, large-scale morphological analyzer for Egyptian Arabic...